ARES, Adding a class and REStructuring Inheritance Hierarchy

In object-oriented databases, schema design or evolution BKKK87] should beneet as much as possible from automatic tools. In this paper, we focus on the automatic insertion of classes into inheritance hierarchies, while preserving a \maximal factorizing" of class properties. We describe an incremental algorithm which factors properties, approaches the overloading problem, and can be used to build, reorganize or maintain a hierarchy. Our algorithm works with a model of hierarchies based on what we call the "Galois SubHierarchy" recently introduced by GM93] and which is a particular suborder of the Galois lattice. This algorithm maintains a Galois SubHierarchy without building the whole Galois lattice. R esum e Dans les bases de donn ees orient ees objet, certaines phases de la conception ou de l' evolution de sch ema BKKK87] pourraient b en eecier d'une automatisation partielle. Nous nous int eressons plus particuli erement au probl eme de l'insertion d'une classe dans une hi erarchie existante, en respectant un crit ere de \factorisation maximale". Nous proposons un algorithme incr emental qui factorise les propri et es, aborde le probl eme de la surcharge, et permet de construire, r eorganiser ou maintenir une hi erarchie. Notre m ethode s'appuie sur la notion de \sous-hi erarchie de Galois" introduite r ecemment par GM93], et qui est un sous-ordre particulier du treillis de Galois. Notre algorithme permet de maintenir une sous-hi erarchie de Galois sans construire le treillis de Galois tout entier.